Generalized Inclusive Forms—New Canonical Reed-Muller Forms Including Minimum ESOPs

Generalized Inclusive Forms - New Canonical Reed-Muller Forms Including Minimum ESOPs

A Canonical And/exor Form That Includes Both the Generalized Reed-muller Forms and Kronecker Reed-muller Forms

| The paper gives a positive answer to a question posed by Tsutomu Sasao-whether there exists some family of canonical forms that would include both the Generalized Reed-Muller Forms and the Kro-necker RM Forms as its special cases. We call the new forms Generalized Kronecker Forms. We present also the corresponding decision diagrams. They can be used for representation of large functions and a...

Boolean Matching Using Generalized Reed-Muller Forms

In this paper we present a new method for Boolean matching of completely specified Boolean functions. The canonical Generalized Reed-Muller forms are used as a powerful analysis tool. Input permutation, input and output negation for matching are handled simultaneously. To reduce the search space for input correspondence, we have developed a method that can detect symmetries of any number of inp...

Approximate Minimization Of Generalized Reed Muller Forms

Paper presents a new approach to Gen eralized Reed Muller form minimization The concept of adjacent polarity of forms is introduced that is next used to generate exact and approximate solutions An algorithm to generate a GRM form from any other form is given While adjacent polarities are used for local optimization global minimum is found using the adaptation of Genetic Algorithm approach For t...

A Canonical And/exor Form That Includes Both the Generalized Reed-muller Forms and Kronecker Forms

| The paper gives a positive answer to an open problem-whether there exists some family of canonical forms that would include both the Generalized Reed-Muller Forms and the Kronecker Forms as its special cases. We call the new forms Generalized Kronecker Forms. We present also the corresponding decision diagrams. They can be used for representation of large functions and also for optimal synthe...